Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
1

A branch and prune algorithm for the computation of generalized aspects of parallel robots

Рік:
2014
Мова:
english
Файл:
PDF, 5.20 MB
english, 2014
2

Tinkerbell Is Chaotic

Рік:
2011
Мова:
english
Файл:
PDF, 563 KB
english, 2011
3

Variable symmetry breaking in numerical constraint problems

Рік:
2015
Мова:
english
Файл:
PDF, 1.63 MB
english, 2015
4

A three-step methodology for dimensional tolerance synthesis of parallel manipulators

Рік:
2016
Мова:
english
Файл:
PDF, 1.89 MB
english, 2016
13

Comparison of the Hansen-Sengupta and the Frommer-Lang-Schnurr existence tests

Рік:
2007
Мова:
english
Файл:
PDF, 149 KB
english, 2007
14

Efficient handling of universally quantified inequalities

Рік:
2009
Мова:
english
Файл:
PDF, 503 KB
english, 2009
15

A branch and bound algorithm for numerical Max-CSP

Рік:
2010
Мова:
english
Файл:
PDF, 801 KB
english, 2010
16

A new framework for sharp and efficient resolution of NCSP with manifolds of solutions

Рік:
2010
Мова:
english
Файл:
PDF, 609 KB
english, 2010
17

A Right-Preconditioning Process for the Formal–Algebraic Approach to Inner and Outer Estimation of AE-Solution Sets

Рік:
2005
Мова:
english
Файл:
PDF, 860 KB
english, 2005
18

Extension of the Hansen-Bliek Method to Right-Quantified Linear Systems

Рік:
2007
Мова:
english
Файл:
PDF, 795 KB
english, 2007
20

Interval-based projection method for under-constrained numerical systems

Рік:
2012
Мова:
english
Файл:
PDF, 3.47 MB
english, 2012
21

First order rejection tests for multiple-objective optimization

Рік:
2014
Мова:
english
Файл:
PDF, 687 KB
english, 2014
22

Sensitivity analysis of parallel manipulators using an interval linearization method

Рік:
2014
Мова:
english
Файл:
PDF, 2.02 MB
english, 2014
28

Certified Parallelotope Continuation for One-Manifolds

Рік:
2013
Мова:
english
Файл:
PDF, 512 KB
english, 2013
38

Monitoring Bounded LTL Properties Using Interval Analysis

Рік:
2015
Мова:
english
Файл:
PDF, 342 KB
english, 2015
40

Interval-based Solving of Hybrid Constraint Systems

Рік:
2009
Мова:
english
Файл:
PDF, 182 KB
english, 2009
42

172

Рік:
2015
Мова:
english
Файл:
PDF, 53 KB
english, 2015
43

photoionization

Рік:
2015
Мова:
english
Файл:
PDF, 2.15 MB
english, 2015
44

-edge photoexcitation

Рік:
2015
Мова:
english
Файл:
PDF, 685 KB
english, 2015
45

vacancy in argon

Рік:
2016
Мова:
english
Файл:
PDF, 343 KB
english, 2016
49

A branch and bound algorithm for quantified quadratic programming

Рік:
2017
Мова:
english
Файл:
PDF, 903 KB
english, 2017